Cover Picture Story: Experiments with Modular State Spaces
نویسنده
چکیده
The main analysis techniques for critical systems use state space exploration. However, one is often quickly limited by the so-called state space explosion problem, even if the systems models are relatively small. Several methods have been proposed to tackle this problem in order to get a manageable state space. One of these takes advantage of the modular structure of the model in order to build a modular state space, which is basically a set of local state spaces plus a synchronisation graph indicating the global behaviour. In this paper, we present a few case studies and compare the state space sizes with those of the full state space. The results are discussed, pointing out the criteria the model should satisfy for the technique to be efficient.
منابع مشابه
Fixed points for Banach and Kannan contractions in modular spaces with a graph
In this paper, we discuss the existence and uniqueness of xed points for Banach and Kannancontractions dened on modular spaces endowed with a graph. We do not impose the Δ2-conditionor the Fatou property on the modular spaces to give generalizations of some recent results. Thegiven results play as a modular version of metric xed point results.
متن کاملBest proximity point theorems in 1/2−modular metric spaces
In this paper, first we introduce the notion of $frac{1}{2}$-modular metric spaces and weak $(alpha,Theta)$-$omega$-contractions in this spaces and we establish some results of best proximity points. Finally, as consequences of these theorems, we derive best proximity point theorems in modular metric spaces endowed with a graph and in partially ordered metric spaces. We present an ex...
متن کاملA fixed point approach to the Hyers-Ulam stability of an $AQ$ functional equation in probabilistic modular spaces
In this paper, we prove the Hyers-Ulam stability in$beta$-homogeneous probabilistic modular spaces via fixed point method for the functional equation[f(x+ky)+f(x-ky)=f(x+y)+f(x-y)+frac{2(k+1)}{k}f(ky)-2(k+1)f(y)]for fixed integers $k$ with $kneq 0,pm1.$
متن کاملFixed Point Results for Cyclic (α,β)-Admissible Type F-Contractions in Modular Spaces
In this paper, we prove the existence and uniqueness of fixed points for cyclic (α,β)-admissible type F-contraction and F−weak contraction under the setting of modular spaces, where the modular is convex and satisfying the ∆2-condition. Later, we prove some periodic point results for self-mappings on a modular space. We also give some examples to s...
متن کامل